personal page
Institute page
On weak ω \omega -categories via computads construed as inductive types:
Created on February 7, 2024 at 07:41:26. See the history of this page for a list of all contributions to it.